On some experimental results of notehed or holed hare under repeated load (part 1)

The part of bilik in Hare`s philosophy of ethics

Hare agrees with religious claims not to be provable, falsifiable, and cognitive. However, for him, religious statements are bliks or mental nonfalsifiable suppositions that prepare certain deep comment of the world and a certain vision for man with such a extended realm which include all requisite affairs in human life. And this is the reason why for their being useful. Furthermore, Hare, in h...

Comparision of Perforation Theories and Some Experimental Results

In this paper it is shown that the variety of mathematical models proposed, such as Nishiwaki [1], Recht and Ipson [2], Lambert and Jonas [3], Awerbuch and Bodrer [4], Nixdorf [5] and the modified analysis given by the author in earlier papers [6,7] almost all adhere to one basic form This shows clearly the relationship between the striking velocity WI, the residual velocity Wf, and the ballist...

global results on some nonlinear partial differential equations for direct and inverse problems

در این رساله به بررسی رفتار جواب های رده ای از معادلات دیفرانسیل با مشتقات جزیی در دامنه های کراندار می پردازیم . این معادلات به فرم نیم-خطی و غیر خطی برای مسایل مستقیم و معکوس مورد مطالعه قرار می گیرند . به ویژه، تاثیر شرایط مختلف فیزیکی را در مساله، نظیر وجود موانع و منابع، پراکندگی و چسبندگی در معادلات موج و گرما بررسی می کنیم و به دنبال شرایطی می گردیم که متضمن وجود سراسری یا عدم وجود سراسر...

Some Experimental Results on the Frobenius Problem

Some Experimental Results on Dynamic Subgoal Reordering

In this paper, we report our investigations into the effect of dynamic subgoal reordering on the performance of a natural deduction theorem prover, based on some simple syntactic characteristics of the subgoals such as size, number of variables, function symbols and predicate symbols. It is shown that these simple characteristics, when used as heuristics for reordering subgoals, have a consider...